Test Pattern Generation using Boolean Proof Engines
by Rolf Drechsler,Stephan Eggersglüß,Görschwin Fey,Daniel Tille
ISBN 13: 9789048184910
Format: Paperback (204 pages) Publisher: Springer Published: 19 Oct 2010
Save for later
High Quality Test Pattern Generation and Boolean Satisfiability
by Stephan Eggersglüß,Rolf Drechsler
ISBN 13: 9781489988478
Format: Paperback (212 pages) Publisher: Springer Published: 20 Oct 2014